Topos theory

Results: 187



#Item
21TOPOS THEORY EXAMPLES 2 (Lent TermO. Caramello . Show that the degenerate topos 1 with one object and one (identity) morphism is initial (in a suitable weak sense) in the 2-category Top of elementary toposes and g

TOPOS THEORY EXAMPLES 2 (Lent TermO. Caramello . Show that the degenerate topos 1 with one object and one (identity) morphism is initial (in a suitable weak sense) in the 2-category Top of elementary toposes and g

Add to Reading List

Source URL: www.oliviacaramello.com

Language: English - Date: 2013-03-08 20:29:15
    22Topos Theory Olivia Caramello Geometric morphisms as flat functors Geometric

    Topos Theory Olivia Caramello Geometric morphisms as flat functors Geometric

    Add to Reading List

    Source URL: www.oliviacaramello.com

    Language: English - Date: 2013-03-08 20:29:24
      23TOPOS THEORY EXAMPLES 4 (Lent TermO. Caramello Ta b coherent theory over Σ. Show that there is a single-sorted signature Σ and a

      TOPOS THEORY EXAMPLES 4 (Lent TermO. Caramello Ta b coherent theory over Σ. Show that there is a single-sorted signature Σ and a

      Add to Reading List

      Source URL: www.oliviacaramello.com

      Language: English - Date: 2013-03-08 20:29:17
        24Topos Theory Olivia Caramello Geometric morphisms Locales and pointless

        Topos Theory Olivia Caramello Geometric morphisms Locales and pointless

        Add to Reading List

        Source URL: www.oliviacaramello.com

        Language: English - Date: 2013-03-08 20:29:38
          25Topos Theory Olivia Caramello Basic categorical constructions Universal properties

          Topos Theory Olivia Caramello Basic categorical constructions Universal properties

          Add to Reading List

          Source URL: www.oliviacaramello.com

          Language: English - Date: 2013-03-08 20:29:34
            26Topos Theory Olivia Caramello The notion of classifying topos Syntactic categories

            Topos Theory Olivia Caramello The notion of classifying topos Syntactic categories

            Add to Reading List

            Source URL: www.oliviacaramello.com

            Language: English - Date: 2013-03-08 20:29:31
              27TOPOS THEORY EXAMPLES 1 (Lent TermO. Caramello . Let C be a category such that, for each object c, the slice category C/c is equivalent to a small category, even though C may not be small. Show that the functor ca

              TOPOS THEORY EXAMPLES 1 (Lent TermO. Caramello . Let C be a category such that, for each object c, the slice category C/c is equivalent to a small category, even though C may not be small. Show that the functor ca

              Add to Reading List

              Source URL: www.oliviacaramello.com

              Language: English - Date: 2013-03-08 20:29:13
                28Topos Theory Olivia Caramello Morphisms of sites The controvariant case

                Topos Theory Olivia Caramello Morphisms of sites The controvariant case

                Add to Reading List

                Source URL: www.oliviacaramello.com

                Language: English - Date: 2013-03-08 20:29:26
                  29Topos Theory Olivia Caramello Toposes as unifying spaces in Mathematics Toposes as

                  Topos Theory Olivia Caramello Toposes as unifying spaces in Mathematics Toposes as

                  Add to Reading List

                  Source URL: www.oliviacaramello.com

                  Language: English - Date: 2013-03-08 20:29:32
                    30OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere 4 April 2009 For Martin Hyland and Peter Johnstone in honor of their sixtieth birthdays Here are seven problems that I have not yet been able to solve. Clarification on them wou

                    OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere 4 April 2009 For Martin Hyland and Peter Johnstone in honor of their sixtieth birthdays Here are seven problems that I have not yet been able to solve. Clarification on them wou

                    Add to Reading List

                    Source URL: cheng.staff.shef.ac.uk

                    Language: English - Date: 2009-07-16 07:17:40